Improved Efficiency of Object Code Verification Using Statically Abstracted Object Code
نویسندگان
چکیده
منابع مشابه
Object code verification
Object code is a program of a processor language and can be directly executed on a machine. Program verification constructs a formal proof that a program correctly implements its specification. Verifying object code therefore ensures that the program which is to be executed on a machine is correct. However, the nature of processor languages makes it difficult to specify and reason about object ...
متن کاملObject Code-Near Software Verification
Computer programs are used in almost every area of our daily life. Especially in fields like medical computing and the whole sector of security systems they became almost vital or at least mission critical. One of the main problems of software engineering is to develop programs that are reliable enough to meet the needs of a mission critical appliance. Several approaches are taken to prove that...
متن کاملImproved Scheduling in Object Bases using Statically
Traditional approaches to scheduling in both object and data bases arrive at scheduling decisions based on dynamic, read/write behaviour or transaction submission order alone. Such approaches are based on exact but extremely limited information. Using static analysis, it is possible to derive more extensive but possibly inexact information. By combining the statically and dynamically derived in...
متن کاملVerifying Object-Oriented Code Using Object Propositions
The modular verification of object-oriented code is made difficult by the presence of aliasing. If there are multiple clients depending on the properties of an object, one client may break the property that others depend on. Knowledge of both aliasing and predicates allows us to verify whether clients and implementations are compliant with specifications. We have developed a modular verificatio...
متن کاملMachine Code Optimization - Improving Executable Object Code
The topic of compiler optimization covers a wide range of program analysis methods and program transformations which are applied primarily to improve the speed or space efficiency of a target program. These techniques are typically applied to a representation of the target program which is, to some degree, removed from the program representation executed by the hardware. The representations on ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Scientific Programming
سال: 2020
ISSN: 1058-9244,1875-919X
DOI: 10.1155/2020/6791891